1. A course in mathematical logic by J.L. Bell and M. Machover
Author: Bell
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
B3953
